supremum real analysis